检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 自适应软件动态过程时间特性建模与验证方法

韩德帅, 邢建春, 杨启亮, 李决龙

计算机应用 2018, 38 (3): 799-805. DOI: 10.11772/j.issn.1001-9081.2017081992

摘要（407）

PDF （1152KB）（351）

现有自适应软件建模与验证方法较少考虑时间约束，然而，在时间攸关应用领域，自适应软件能否正确运行，不仅要考虑自适应逻辑的正确性，还要考虑自适应软件动态过程的时间特性。为此，首先显式定义了自适应软件的时间特性（监控周期、延迟触发时间、自适应过程截止时间、自适应调节时间和稳定时间等）；然后，构造了一种基于时间自动机网络（TAN）的自适应软件动态过程时间特性建模模板；最后，将自适应软件时间特性描述为定时计算树逻辑（TCTL）的形式，并对时间特性进行了形式化分析和验证。结合具体案例验证了该自适应软件时间特性建模和验证方法，结果表明该方法能够显式刻画自适应软件时间特性，降低其形式化建模的难度。

参考文献 | 相关文章 | 多维度评价

Select

2. 面向软件模糊自适应的UML用例扩展

韩德帅邢建春杨启亮

计算机应用 2014, 34 (4): 1155-1160. DOI: 10.11772/j.issn.1001-9081.2014.04.1155

摘要（326）

PDF （843KB）（363）

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模，为此，提出一种基于UML用例扩展的SFSA需求分析与设计方法——Fuzzy Case。该方法结合SFSA的概念模型，应用UML扩展机制引入新的构造型和标记值，建立了Fuzzy Case的一般模型；同时定义了Fuzzy Case的语法结构，并用对象约束语言(OCL)定义了其语义描述，形成了完整的SFSA建模设施。实例验证表明，与传统方法相比，Fuzzy Case能更清晰地表达SFSA的结构，准确定义软件的内部语义，建模过程更加简单方便，能有效提高SFSA的开发效率。

参考文献 | 相关文章 | 多维度评价